Strong arguments have been formulated that the computational limits of disembodied artificial intelligence (AI) will, sooner or later, be a problem that needs to be addressed. Similarly, convincing cases for how embodied forms of AI can exceed these limits makes for worthwhile research avenues. This paper discusses how embodied cognition brings with it other forms of information integration and decision-making consequences that typically involve discussions of machine cognition and similarly, machine consciousness. N. Katherine Hayles’s novel conception of nonconscious cognition in (...) her analysis of the human cognition-consciousness connection is discussed in relation to how nonconscious cognition can be envisioned and exacerbated in embodied AI. Similarly, this paper offers a way of understanding the concept of suffering in a way that is different than the conventional sense of attributing it to either a purely physical state or a conscious state, instead of grounding at least a type of suffering in this form of cognition. (shrink)

A la fecha, la academia hispanohablante ha abordado el pensamiento de Stefan Lorenz Sorgner analizando, casi exclusivamente, su intento de comprender a Nietzsche como un precursor del transhumanismo. Más allá de los alegatos a favor o en contra de tal lectura, este debate olvida que el pensamiento de Sorgner efectivamente se ha apropiado de varias intuiciones nietzscheanas, hasta el punto de crear su propio transhumanismo nietzscheano débil o bien, Metahumanismo. Con este contexto en mente, el presente (...) artículo tiene tres objetivos específicos:(1) ofrecer una caracterización que diferencia al Metahumanismo de Sorgner tanto del trans-como del post-humanismo;(2) señalar cómo se modulan las ideas de Nietzsche en el metahumanismo de Sorgner; y finalmente (3) ilustrar cuáles son algunas de las propuestas con las que el metahumanismo enfrenta los debates contemporáneos—una perspectiva anti utópica y una propuesta por una educación metahumanista—. De esta manera, el objetivo general de este artículo es ofrecer una introducción al pensamiento del filósofo metahumanista Stefan Lorenz Sorgner. (shrink)

A review of Sorgner's "On Trans-humanism." What to do with transhumanism? And – before we figure out how to categorize it, think about it and make actionable policy decisions with it – how should we define transhumanism? Stefan Lorenz Sorgner asks these questions in "On Trans-humanism" when he examines the idea’s provenance and the pedigree of related ideas. This approach turns out to be, on balance, a productive and useful way into a field that does not (...) yet examine its own roots and relationships often enough. I go on to critique some aspects of his approach, pointing out his lack of attention to posthuman and ecosystemic sensibilities, etc. Evans, Woody. Review of On Transhumanism, by Stefan Lorenz Sorgner, trans. Spencer Hawkins (2020). Prometheus: Critical Studies in Innovation, vol. 38, no. 2, June 2022, pp. 271-274. ScienceOpen. [This line at the bottom of page 272 was misprinted: "Imagine, instead, that we designate the after-transhuman posthuman as something like ‘post-transhuman’ or ‘posthuman’." It should read: "...as something like ‘post-transhuman’ or ‘posthuman-T’" with a superscript "T" after the second posthuman.]. (shrink)

In We Have Always Been Cyborgs (2021), Stefan L. Sorgner argues that, given the growing economic burden of desirable welfare programs, in order for Western democratic societies to continue to flourish it will be necessary that they establish some form of algocracy (i.e., governance by algorithm). This is argued to be necessary both in order to maintain the sustainability and efficiency of these programs, but also due to the fact that further integration of humans into technical systems provides (...) the only effective means to bridge gaps in functionality and governance. However, Sorgner’s position is entirely insensitive to the design turn in applied ethics, which argues against the neutrality of technology, instead maintaining that technology and society co-construct each other with persistent feedback loops. This, I argue, is a problem for his account inasmuch as technologies, as they become more ubiquitous, likewise become pervasive and inextricable from our sociotechnical infrastructures. As such, less-than-beneficent forces, as current trends illustrate, can appropriate these seemingly banal infrastructures to gear them towards oppressive ends, thereby ultimately threatening the social democracies that Sorgner’s position aims to buttress. (shrink)

El artículo analiza desde una perspectiva crítica las tentativas de interpretar a Nietzsche como un precursor del transhumanismo. Tras una breve contextualización del fecundo debate en torno a Nietzsche y el transhumanismo, se evalúa el carácter fraccional o parcial del alegato de Stefan Sorgner en favor de un “transhumanismo nietzscheano”. Después, se investiga la tensión entre humanidad, la superación del ser humano y su cría en los escritos de Nietzsche. Una vez ejecutado este análisis, y sin ánimo de (...) caer en el anacronismo, se sostiene que Nietzsche anticipa ciertamente un germen de la idea de post-humanidad, en su crítica de la cultura humanista y en su invitación a transformar el ser humano y superar el nihilismo, pero no asimilable a la vertiente tecnológica del transhumanismo. Para concluir, se sugiere una prospectiva de análisis del transhumanismo desde una perspectiva nietzscheana, tomando como ejemplo la imagen de las “sombras de Dios”. (shrink)

Artificial Intelligence (AI) is increasingly adopted in society, creating numerous opportunities but at the same time posing ethical challenges. Many of these are familiar, such as issues of fairness, responsibility and privacy, but are presented in a new and challenging guise due to our limited ability to steer and predict the outputs of AI systems. This chapter first introduces these ethical challenges, stressing that overviews of values are a good starting point but frequently fail to suffice due to the context (...) sensitivity of ethical challenges. Frequently, additional (ethical) values emerge for specific applications, as e.g. challenges with fraud detection are very different from those around language technologies. Second, methods to tackle these challenges are discussed. Main ethical theories (virtue ethics, consequentialism, and deontology) are shown to provide a starting point, but often lack the details needed for actionable AI Ethics. Instead, mid-level philosophical theories coupled to design-approaches such as Design for Values, together with interdisciplinary working methods, offer the best way forwards. The chapter aims to show how these approaches can lead to an ethics of AI that is actionable and that can be proactively integrated in the design of AI systems. (shrink)

The german „Politik“ is very comprehensive. Different theorists had a fundamentally different understandig of the term. We can distinguish between a realistic and a idealistic approach. The first is represented especially by Carl Schmitt and Max Weber, the second by Hannah Arendt and ancient greek thinkers (Plato, Aristotle). These different views can’t be synthesized. „Politik“ ist characterized by its generality. Politically is decided, what - within a certain territory - is binding for everyone. Therefore „Politik“ is inseparably connected with power. (...) Moreover, „Politik“ has got a creative element. In sum, „Politik“ means guiding the public affairs in a generally binding and powerful way. (shrink)

Information technology (IT) is continuously making astounding progress in technical efficiency. The time, space, material and energy needed to provide a unit of IT service have decreased by three orders of magnitude since the first personal computer (PC) was sold. However, it seems difficult for society to translate IT’s efficiency progress into progress in terms of individual, organizational or socio-economic goals. In particular it seems to be difficult for individuals to work more efficiently, for organizations to be more productive and (...) for the socio-economic system to be more sustainable by using increasingly efficient IT. This article provides empirical evidence and potential explanations for this problem. Many counterproductive effects of IT can be explained economically by rebound effects. Beyond that, we conclude that the technological determinism adopted by decision-makers is the main obstacle in translating IT’s progress into non-technical goals. (shrink)

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for (...) the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

Equal Justice explores the role of the idea of equality in liberal theories of justice. The title indicates the book’s two-part thesis: first, I claim that justice is the central moral category in the socio-political domain; second, I argue for a specific conceptual and normative connection between the ideas of justice and equality. This pertains to the age-old question concerning the normative significance of equality in a theory of justice. The book develops an independent, systematic, and comprehensive theory of equality (...) and egalitarianism. The principal question is about the importance of equality in a theory of justice. More precisely, we should pose questions in four contracting circles: 1. Is justice the supreme value guiding our setup of the basic structure of society, or are there other, equally important values, such as recognition, care, communal belonging? 2. If justice is the highest guiding principle, which competing ideals—especially equality and freedom—ought to have precedence in a policy oriented toward justice? What status does the ideal of equality have in that framework? 3. If equality is a basic ideal of just policy, how should it be practically realized? What sort of equality (equal opportunity, equality of welfare, resource equality) should be demanded? 4. What patterned distribution of which specific goods does the ideal of equality demand? Which principles of distribution can be justified according to our justice ideal? To conclude and summarize: 5. What is the essential core of an egalitarian theory of justice, as opposed to an inegalitarian theory? These five questions structure the work’s order of argumentation. Part A elaborates the conceptual foundations and basic moral principles of justice and equality. Chapter I sets out to install justice as the central moral category in the socio-political domain. At the beginning of the first chapter, the conceptual foundations of justice are clarified. While not eliminating the classical distinctions between different forms of justice, I argue that the distributive paradigm is of primary importance. The primacy of justice in the socio-political domain is developed out of a confrontation with alternative positions, those which maintain either that justice generally, or distributive justice in particular, are subsidiary virtues. At the end of Chapter I, the first of the questions mentioned above is answered in a way that establishes justice as the guiding normative concept for the foundation and evaluation of any social order. To clarify the role of equality in a theory of justice, Chapter II separates the idea of equality into four different principles. They are organized in a way that begins with the most general and uncontroversial principle of equality, and progresses towards increasingly detailed and contested principles. There are two theses that articulate and defend the significance of equality for justice: First there is a conceptual connection between justice and equality, in that principles of formal and proportional equality are necessary in order to explicate the concept of justice. These two principles establish an unbreakable bond between justice and equality. Justice can only be explained—or so I argue—by reference to these and other (normative) principles of equality. The second thesis posits a normative relationship between justice and equality, which is disclosed by three substantive principles of equality: moral equality, the presumption of equality, and the principle of responsibility. I argue that the normative core of an egalitarian theory of justice is expressed by the latter two principles, which are themselves based on the first principle, that of moral equality. When we view one another as persons, what form of equality or equal treatment is normatively demanded? I argue that the answer to this question is given by the procedural principle of the presumption of equality: regardless of their apparent differences, all persons deserve strictly equal treatment, unless certain kinds of differences have whatever particular relevance would justify, on generally acceptable grounds, unequal treatment or unequal distribution. The justification of the presumption of equality is central to this work and has considerable importance. If the presumption principle’s validity can be justified by enlisting the principle of general justification, then the primacy of equality, and the essential argument for an egalitarian theory of justice, is established. This would likewise provide a procedure for the construction of a material theory of justice. The second question is answered thereby at the end of Chapter II: Equality should have primacy over competing ideals within a justice-oriented policy. The presumption of equality establishes this primacy and, at the same time, offers an appropriate metric and guideline for the construction of a material theory of distributive justice. The presumption of equality in Part B offers an elegant procedure for the development of a theory of distributive justice. Chapter III clearly sets out the necessary prerequisites that a theory of distribution must satisfy in order to determine a liberal-egalitarian distributional framework. We need to specify in which situation the distribution takes place; which goods are and are not to be distributed; in which respect the presumptive equality is to be produced; and by and to whom, and for what period, the relevant goods are to be distributed. The distribution is based on resources understood as general-purpose means. It is necessary to divide goods into different categories, since the justification for unequal treatment in one domain will not carry over into another. This makes presumptive equality necessarily complex. To that end, four spheres of justice are distinguished: (1) the political sphere, which involves allocating rights through the distribution of civil liberties; (2) the democratic sphere, in which political power and the rights of political participation are regulated; (3) the economic sphere, in which income and property are distributed; (4) the social sphere, in which social positions and opportunities are distributed. This framework of distributive justice answers the third of our guiding questions, about the nature of equality, in terms of equality of resources. Chapters IV and V set out the egalitarian distributive criteria for each sphere. I argue that the generally accepted, fundamental rights of classical liberalism are more effectively reconstructed by reference to the equal resource distribution presumptively required in those spheres. Chapter IV shows that when it comes to the first two spheres, those involving basic rights and freedoms and entitlement political participation, there can be no justified exceptions to the equal distribution of the relevant goods. That section argues, contrary to what we commonly find in theories of freedom or popular sovereignty, that the value of freedom and self-determination as the political basis of autonomy is best realized through the presumption of equal distribution. Chapter V deals with the other two spheres, those of economic goods and social positions, and argues for justified exceptions to equal distribution. In the economic sphere we find one principal reason favouring unequal distribution of resources, and three restrictions and compensations limiting that inequality. The basic exception to equal economic distribution arises from the unequal consequences of personal responsibility. From a suitably egalitarian standpoint, the principle of responsibility is the normative principle that determines which reasons justify economic inequality. Here the basic idea is that unequal shares of social goods are fair if they result from the choices and deliberate actions of the relevant parties. That individuals have to bear the costs of their own choices is a condition of autonomy. However, benefits or disadvantages arising from arbitrary and unmerited differences in social circumstances or natural endowments is unfair. The unequal consequences of independent decision-making and action must therefore be limited by compensating first for preferences, secondly for disadvantages, and thirdly by redistributing wealth in aid of the worse-off. I situations of emergency, compensating for disadvantages has priority over all other claims, owing to the urgency of the situation. Social inequalities go beyond the permissible limit if it is possible to improve the long-term social or economic situation of the worse-off by redistributing wealth to them. These exceptions lead to a complex system of free economic action within a framework of compensatory tax and transfer mechanisms. Finally, in the social sphere, the distribution of social positions, offices and opportunities must be structured to ensure that equally talented and motivated citizens have roughly equal chances of obtaining those offices or positions, irrespective of their economic or social class backgrounds. This compromise is permissible for reasons of freedom and prudence, and it makes a certain measure of inequality acceptable. The fourth of our guiding questions is answered accordingly. There are five principles of justice for the basic structure of society, and five legal principles that govern the special distribution of goods in the respective spheres—all are ranked according to their most defensible grounds of priority, ensuring that everyone is accorded equal justice. Chapter VI recapitulates the initial question of equality’s value. The conception of equal justice developed in this work postulates five principles of equality and five principles of law; these constitute an egalitarian framework because they support and promote social justice. Equality has value with respect to them, but is not given any independent, intrinsic value. That is why I call the account developed here a form of constitutive egalitarianism: justice is realized through the realization of equality, itself accomplished by applying the five postulates of equality and five distributive principles of law. This is an egalitarianism on two levels. The first level is involves the claim that morality or justice is conceptually connected with equality. The second level gives equality a substantial weight in what is conceptually validated at the first level, namely the presumption of equality, and constructs an appropriate interpretation and conception of distributive justice through principles of distribution for the individual spheres. The weight and importance of equality is shown by the distributive criteria applied to those spheres. This answers our final guiding question about the nature of an egalitarian theory. (shrink)

In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A syntactic characterization of these (...) logics is left for further work. In this paper, based on our previous work on a functionally complete extension of Belnap’s logic, we present a sound and complete tableau calculus for these logics. It crucially exploits the Cartesian nature of the four values, which is reflected in the fact that each proof consists of two tableaux. The bi-facial notion of truth of Z&S is thus augmented with a bi-facial notion of proof. We also provide translations between the logics for semi-classical negation and classical logic and show that an argument is valid in a logic for semi-classical negation just in case its translation is valid in classical logic. (shrink)

In this paper, I examine the question of the scope of justice, in a not unusual distributive, egalitarian, and universalistic framework. Part I outlines some central features of the egalitarian theory of justice I am proposing. According to such a conception, justice is – at least prima facie – immediately universal, and therefore global. It does not morally recognize any judicial boundaries or limits. Part II examines whether, even from a universalistic perspective, there are moral or pragmatic grounds for rejecting (...) or limiting the global scope of justice. In particular, I scrutinize five universalistic objections: (1) the principle of “moral division of labor”; (2) the connection between cooperation and distributive justice; (3) the primacy of democracy; (4) the dangers of a world state; and (5) political‐pragmatic reasons. I intend to show that these objections cannot undermine the strong normative claims of global justice. At the most, political‐pragmatic reasons speak in favor of initially striving for somewhat less, in order to receive more general backing. (shrink)

The right to justification is the central tenet of Rainer Forst's theory of justice: every person has the moral right to receive justification for morally relevant actions. This approach is instructive also from a jurisprudential perspective. One important purpose of the law is to force state authorities to provide justifications for their actions. Therefore, based on the right to legal equality, justification must be provided for any unequal treatment. Likewise, restrictions of fundamental rights in a constitutional state are subject to (...) accountability as well. Binding decisions and judgements must also be justified. Currently, the obligation of argument remains poorly developed on a transnational level. It is therefore important to implement obligations for justification in this context as well. (shrink)

In the following paper we provide a personal definition of the existential philosophy and the existential subject. Before that we explore other historical definitions of existentialism. We were mainly interested in the relation between existentialism and nihilism, the focus of existential philosophy on the individual and the situation of the studied philosophical trend on the 1950's zeitgeist. The definition of existentialism as a form of trans-rationalism and its capacity to become a practical alternative to contemporary academic philosophy were also emphasized.

The pivotal role of the relation part-of in the description of living organisms is widely acknowledged. Organisms are open systems, which means that in contradistinction to mechanical artifacts they are characterized by a continuous flow and exchange of matter. A closer analysis of the spatial relations in biological organisms reveals that the decision as to whether a given particular is part-of a second particular or whether it is only contained-in the second particular is often controversial. We here propose a rule-based (...) approach which allows us to decide on the basis of well-defined criteria which of the two relations holds between two anatomical objects, given that one spatially includes the other. We discuss the advantages and limitations of this approach, using concrete examples from human anatomy. (shrink)

“De jure naturae multa fabulamur” — after 450 years, Luther's statement has lost none of its original validity. After a brief pseudo-renaissance following WWII, one now hears far less in legal theory about natural law, which appears finally to have fallen victim to what Weber early in the century characterized as “a progressive decomposition and relativization of all meta-legal axioms” — a destruction resulting partly “from legal rationalism itself,” and partly “from the skepticism which characterizes modern intellectual life generally.” Law (...) today, wrote Weber, “is all too tangibly (in the great majority of its determinations, and especially in many which are particularly important in terms of principle) revealed to be both the product and the technical medium of a compromise of interests,”. (shrink)

How ought you to evaluate your options if you're uncertain about what's fundamentally valuable? A prominent response is Expected Value Maximisation (EVM)—the view that under axiological uncertainty, an option is better than another if and only if it has the greater expected value across axiologies. But the expected value of an option depends on quantitative probability and value facts, and in particular on value comparisons across axiologies. We need to explain what it is for such facts to hold. Also, EVM (...) is by no means self-evident. We need an argument to defend that it’s true. This book introduces an axiomatic approach to answer these worries. It provides an explication of what EVM means by use of representation theorems: intertheoretic comparisons can be understood in terms of facts about which options are better than which, and mutatis mutandis for intratheoretic comparisons and axiological probabilities. And it provides a systematic argument to the effect that EVM is true: the theory can be vindicated through simple axioms. The result is a formally cogent and philosophically compelling extension of standard decision theory, and original take on the problem of axiological or normative uncertainty. (shrink)

According to the standard account of forgiveness, you forgive your wrongdoer by overcoming your resentment towards them. But how exactly must you do so? And when is such overcoming fitting? The aim of this paper is to introduce a novel version of the standard account to answer these questions. Its core idea is that the reactive attitudes are a fitting response not just to someone’s blameworthiness, but to their blameworthiness being significant for you, or worthy of your caring, in virtue (...) of your relationship to it. Someone’s blameworthiness is significant for you to the extent you’re bound up with what grounds it––e.g. with the wrongdoer’s being a participant in human relationships, with their attitudes, or with the victim’s being a source of demands. So you may fittingly not care about someone’s blameworthiness if it’s sufficiently insignificant for you in this manner––e.g. if their wrong happened far off in place and time. And forgiveness revolves around this. You forgive your wrongdoer if and only if, partly out of goodwill towards them, you cease to care about their blameworthiness––a bit as if their wrong had happened far off. If I’m right, this agent-relativity-based account can resolve the apparent ‘paradoxy of forgiveness’, satisfies a number of desiderata, and is plausible on an intuitive level. (shrink)

In my paper, I comment on Rainer Forst's paper in this issue. I raise doubts as to whether the justification of democracy emerges from a fundamental moral right to reciprocal and general justification, as Forst claims. His basic argument appears questionable because democracy is different from a “hypothetical‐consent‐conception” of moral legitimacy, which limits as well as enables democratic legitimacy. The former cannot, however, justify the latter through an argument centered on self‐government: Such an argument relies heavily on the possibility of (...) consensus, thus neglecting the crucial phenomenon of disagreement or dissent. As a result of not adequately dealing with this phenomenon, the argument is unable to account for the basic democratic principle of majority rule as the remedy at hand. (shrink)

The article is mainly based on Tadeusz Czeżowski’s publication – “Metaethical considerations”, prepared to be printed but never published. This publication, however, is not a handbook of classical metaethics but a kind of generalization of ethical theories ordering in a way, all known until now ethical systems within philosophy. Thus, Czeżowski does not offer his metaethics as a section of traditional ethics but also as a kind of generalization of all ethics until now, and therefore, all systems worked out within (...) itself. In its essence “Metaethical considerations” is the concept of scientific ethics, regardless of anything that does not pass verification, subject of which are e.g. empirical science research results. (shrink)

Considerable variation exists not only in the kinds of transposable elements (TEs) occurring within the genomes of different species, but also in their abundance and distribution. Noting a similarity to the assortment of organisms among ecosystems, some researchers have called for an ecological approach to the study of transposon dynamics. However, there are several ways to adopt such an approach, and it is sometimes unclear what an ecological perspective will add to the existing co-evolutionary framework for explaining transposon-host interactions. This (...) review aims to clarify the conceptual foundations of transposon ecology in order to evaluate its explanatory prospects. We begin by identifying three unanswered questions regarding the abundance and distribution of TEs that potentially call for an ecological explanation. We then offer an operational distinction between evolutionary and ecological approaches to these questions. By determining the amount of variance in transposon abundance and distribution that is explained by ecological and evolutionary factors, respectively, it is possible empirically to assess the prospects for each of these explanatory frameworks. To illustrate how this methodology applies to a concrete example, we analyzed whole-genome data for one set of distantly related mammals and another more closely related group of arthropods. Our expectation was that ecological factors are most informative for explaining differences among individual TE lineages, rather than TE families, and for explaining their distribution among closely related as opposed to distantly related host genomes. We found that, in these data sets, ecological factors do in fact explain most of the variation in TE abundance and distribution among TE lineages across less distantly related host organisms. Evolutionary factors were not significant at these levels. However, the explanatory roles of evolution and ecology become inverted at the level of TE families or among more distantly related genomes. Not only does this example demonstrate the utility of our distinction between ecological and evolutionary perspectives, it further suggests an appropriate explanatory domain for the burgeoning discipline of transposon ecology. The fact that ecological processes appear to be impacting TE lineages over relatively short time scales further raises the possibility that transposons might serve as useful model systems for testing more general hypotheses in ecology. (shrink)

According to an increasingly popular view among philosophers of science, both causal and non-causal explanations can be accounted for by a single theory: the counterfactual theory of explanation. A kind of non-causal explanation that has gained much attention recently but that this theory seems unable to account for are grounding explanations. Reutlinger :239-256, 2017) has argued that, despite these appearances to the contrary, such explanations are covered by his version of the counterfactual theory. His idea is supported by recent work (...) on grounding by Schaffer and Wilson who claim there to be a tight connection between grounding and counterfactual dependence. The present paper evaluates the prospects of the idea. We show that there is only a weak sense in which grounding explanations convey information about counterfactual dependencies, and that this fact cannot plausibly be taken to reveal a distinctive feature that grounding explanations share with other kinds of explanations. (shrink)

The workshop took place in Leuven, Belgium, and was hosted by the KU Leuven's Centre for Logic and Analytic Philosophy. The workshop’s theme was the syntactical treatment of (alethic, epistemic, etc.) modalities. The standard view on modalities nowadays is that they are operators. Syntactic theories, however, treat modalities as predicates, and thus have to assume a background theory which is sufficiently strong to encode its own formulas (usually, one works with some system of arithmetic and Gödel coding). As a consequence, (...) such theories suffer from paradoxes of self-referentiality. For example, just as the liar sentence states of itself that it is false, the knower sentence states of itself that it is unknown. Kaplan and Montague (1960: 'A paradox regained', Notre Dame J. Formal Logic, vol. 1, pp. 79–90) famously showed that any sufficiently strong theory that contains the knower is inconsistent. (shrink)

The mind's basic task is to organize adaptive behaviour. I argue that necessary conditions to achieve this are acquiring a 'body-self', a differentiated perception, motor intuition, and motor control. The latter three can be learnied implicitly by crosswise comparing the perceived actual situation, the desired situation, the perceived result and the anticipated result.

In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment (...) relations will in general require developing four tableaux, while proving that they are in the ⊧ relation may require six. (shrink)

We present the negative phenomena of understanding in relation to scientific explanations. We begin by formulating the distinction between genuine understanding and lack of understanding, to define the epistemic category of misunderstanding. We illustrate misunderstanding with a short meta-philosophical study on the current debates about distinctively mathematical explanations.

We present the negative phenomena of understanding in relation to scientific explanations. We begin by formulating the distinction between genuine understanding and lack of understanding, to define the epistemic category of misunderstanding. We illustrate misunderstanding with a short meta-philosophical study on the current debates about distinctively mathematical explanations.

The topic of this thesis is axiological uncertainty – the question of how you should evaluate your options if you are uncertain about which axiology is true. As an answer, I defend Expected Value Maximisation (EVM), the view that one option is better than another if and only if it has the greater expected value across axiologies. More precisely, I explore the axiomatic foundations of this view. I employ results from state-dependent utility theory, extend them in various ways and interpret (...) them accordingly, and thus provide axiomatisations of EVM as a theory of axiological uncertainty. (shrink)

Ștefan Bolea ABSTRACT: In the present paper I analyze the theme of death in Gothic Metal songs such as Forever Failure by Paradise Lost, Everything Dies by Type O Negative, The Hanged Man by Moonspell or Gone with The Sin by HIM. The subthemes I am mostly interested in are the...

This article develops an objection to Kant’s proof of freedom from the Critique of Practical Reason. In his proof — the fact of reason argument — Kant deduces the reality of freedom, understood as the ability to act independently of all inclinations, from our consciousness of the unconditional validity of morality. He calls this consciousness the "fact of reason". After a systematic reconstruction of the argument, I develop an objection that relies on three points: (i) the cultural embeddedness of human (...) beings ("fact of culture"), (ii) an "external" perspective on human deliberative processes, and (iii) an alternative interpretation of the unconditional validity of morality that appears in practical deliberation. Contrary to Kant’s claims, I argue that the reality of freedom cannot be deductively derived from the fact of reason. I then discuss two objections to my argument. The first objection claims that my considerations regarding the "external" perspective misunderstand Kant's methodology. The second objection states that, based on my considerations, the fact of reason ultimately turns out to be an illusion. I discuss both objections and refute them. My ultimate conclusion is that Kant's fact of reason argument is not convincing. (shrink)

Statements about the behavior of biochemical entities (e.g., about the interaction between two proteins) abound in the literature on molecular biology and are increasingly becoming the targets of information extraction and text mining techniques. We show that an accurate analysis of the semantics of such statements reveals a number of ambiguities that have to be taken into account in the practice of biomedical ontology engineering: Such statements can not only be understood as event reporting statements, but also as ascriptions of (...) dispositions or tendencies that may or may not refer to collectives of interacting molecules or even to collectives of interaction events. (shrink)

We present the negative phenomena of understanding in relation to scientific explanations. We begin by formulating the distinction between genuine understanding and lack of understanding, to define the epistemic category of misunderstanding. We illustrate misunderstanding with a short meta-philosophical study on the current debates about distinctively mathematical explanations.

In order to at least begin addressing the extensive the problem of moral clarity in aiding the deprived to some degree, I first argue that the duty to aid the deprived is not merely a charitable one, dependent on the discretion, or the arbitrary will, of the giver (1). Then, before further analysing the individual duty to aid, I critically examine whether deprivation is better alleviated or remedied through the duties of corrective justice. I argue that the perspective of corrective (...) justice is important, but not sufficient when it comes to dealing with deprivation (2). I then argue that non-domination cannot serve as a first-order principle of justice. It is too minimalistic, since it would not require duties of justice where deprivation exists, but dominating relations and institutions do not. (3). Going back to the individual duty to help, I argue that the duties to aid the needy must be assessed according to the situation at hand (4). In order to avoid meaninglessness and morality’s excessive demands, one should be able to identify the responsible agents by constructing a shared and, in the last resort, institution-based duty to help (5). The institutional approach in this paper argues that we should create and reform institutions in order to realize the pre-existing requirement to alleviate global deprivation. This is a form of “global political justice” that does not start with politics, but ends with global political institutions. (shrink)

We present the negative phenomena of understanding in relation to scientific explanations. We begin by formulating the distinction between genuine understanding and lack of understanding, to define the epistemic category of misunderstanding. We illustrate misunderstanding with a short meta-philosophical study on the current debates about distinctively mathematical explanations.

In this paper we introduce a Gentzen calculus for (a functionally complete variant of) Belnap's logic in which establishing the provability of a sequent in general requires \emph{two} proof trees, one establishing that whenever all premises are true some conclusion is true and one that guarantees the falsity of at least one premise if all conclusions are false. The calculus can also be put to use in proving that one statement \emph{necessarily approximates} another, where necessary approximation is a natural dual (...) of entailment. The calculus, and its tableau variant, not only capture the classical connectives, but also the `information' connectives of four-valued Belnap logics. This answers a question by Avron. (shrink)

In this paper, I propose a solution to a challenge formulated by Judith Jarvis Thomson: We have to explain why the moral asymmetry between doing and allowing harm is a deep feature of our moral thinking. In a nutshell, my solution is this: It could not be otherwise. Accepting the asymmetry is indispensable for the construction and maintenance of stable moral communities. -/- My argument centrally involves mental resource management. Moral communities depend on their members’ commitment to moral norms. And, (...) I argue, community members can only be committed to these norms in the required ways without overextending their mental resources if morality contains the doing/allowing asymmetry. -/- This has two noteworthy implications. Firstly, we can and should stop discussing the asymmetry in normative ethics and, instead, regard it as “moral axiom” we cannot but accept. Secondly, even consequentialists have to accept the asymmetry but, by doing so, their view loses part of its intuitive appeal. Lastly, I turn to an objection. One might think that my indispensability argument confuses issues in moral psychology with issues in normative ethics. I reject the objection on broadly pragmatist grounds. (shrink)

Kant wird oft als einer derjenigen großen Philosophen angesehen, dessen Werk wesentlich zum jetzigen Verständnis der Menschenrechte und Menschenwürde beigetragen hat. Kant scheint, wenn man in seine Schriften schaut, jedoch keine Theorie der Menschenrechte im modernen Sinne gehabt zu haben. Bei näherem Hinsehen zeigt sich folgender Grund: Kant unterscheidet zwischen dem bloß privaten Recht, das dem positiven Recht untergeordnet ist, und dem öffentlichen Recht, das die begrifflichen Bedingungen einer jeden legitimen, legalen Ordnung darstellt. Der Inhalt des öffentlichen Rechts wird bei (...) ihm weder direkt aus einer freistehenden Moraltheorie abgeleitet, noch aus vertraglichen Übereinkünften oder dem positiven Recht. Stattdessen soll es aus den Ermöglichungsbedingungen einer rechtmäßigen Verfassung expliziert werden, unter der allein Ansprüchen auf (ein) „Recht“ irgendeine verbindliche Autorität zukommt. Wenn man diesen Ansatz ernst nimmt, kann man kaum eine Lesart bei Kant finden, die sich mit der modernen Auffassung von Menschenrechten vereinbaren lässt. Warum aber denken dann manche, dass Kant etwas zum modernen Verständnis der Menschenrechte beizutragen hätte? So lauten denn die Leitfragen der Erörterung: Welche Auffassungen in Kants Werk kommen einem zeitgenössischen Verständnis von Menschenrechten am nächsten? Warum jedoch können diese menschrechtlich vielleicht ähnlich klingenden Auffassungen Kants den heutigen Befürwortern der Menschenrechte doch keine Quelle oder Stütze bieten? (shrink)

There are several conceptions of man in the history of philosophy. However, two considerable tendencies are recurring throughout modern history. A human being can be perceived as a complex mechanism or as a living organism. The response to the query has essential consequences in different areas. The article aims to provide a view of humankind that builds upon an organic conception of life, nature, and human beings, especially as elaborated by A. N. Whitehead and some of his followers. The article (...) also briefly examines the emergence and development of a mechanistic view. The historical overview exposes the close relationship between the worldview of a given era and the understanding of man. Finally, the article argues that the organic conceptions of life developed in the first half of the 20th century provide an essential alternative to mechanistic views and could help us to deal with several problems we are currently encountering. (shrink)

In a recent paper, Nate Sharadin and Rob van Someren Greve pull into doubt a seemingly platitudinous idea: deontic evaluation is capable of guiding action (“Capable”). After discussing several arguments for it, the authors conclude that, to the extent to which Capable can be defended, it cannot produce interesting results about the nature of the deontic. My goal is to argue that the authors’ skeptical endeavors are unconvincing. I aim to show that they rely on an implausibly broad understanding of (...) “actual guidance”. I propose an alternative understanding and show that, with it, “functionalist” arguments of the above kind can produce interesting results. If I am right, Sharadin’s and van Someren Greve’s considerations do not get off the ground. Instead, optimism seems warranted: We can learn something interesting about the nature of the deontic by assuming that actual guidance is the function of deontic evaluation. (shrink)

This article discusses the influence that Schopenhauer’s thought had on Mihai Eminescu’s work with reference to the idea of “pessimism.” It also considers Schopenhauer’s influence on Romanian philosophy and literature at the end of the nineteenth century. We shall examine Eminescu’s alleged “Schopenhauerian pessimism,” considering firstly “pessimism” as a part of Eminescu’s “myth.” Secondly, we shall cover the critical reception of Eminescu’s “Schopenhauerian pessimism,” discussing the existing literary and philosophical scholarship. Finding that there are issues for debate regarding Schopenhauer’s alleged (...) influence upon Eminescu, we argue that Eminescu’s “Schopenhauerian pessimism” may be a “legend.” The article examines the connection between Eminescu and one of Schopenhauer’s most influential followers, Eduard von Hartmann. (shrink)

In this paper, I criticize the most prevalent positive argument for ethical nonnaturalism, the argument from ethical phenomenology. According to it, nonnatural entities are part of the best explanation of the phenomenology of ethical deliberation; therefore, nonnaturalism is true. -/- The argument from ethical phenomenology blinds out the external, empirically informed perspective on ethical deliberation. I argue that this is unwarranted for general methodological reasons: When starting to investigate any mental process — such as ethical deliberation — it is reasonable (...) to take into account, and try to reconcile, both the internal and the external perspective on the process. This renders the argument from ethical phenomenology methodologically flawed. The problem could be avoided if we already knew, somehow, that external evidence is irrelevant for the nature of ethical entities. Many nonnaturalists believe in this irrelevance because they take ethics to be "autonomous", "just too different", or the like. But the autonomy of ethics must itself be justified in a way that does not solely rely on internal insights — or else we are going in circles. I conclude that solely phenomenology-based arguments for nonnaturalism fail for methodological reasons. Consequently, nonnaturalists need to change their strategies and actively embrace the external perspective. (shrink)

Nietzsche’s texts contain a puzzle about the role of vulnerability in the creation of intimacy and its function on behalf of human flourishing. I describe the interpretive puzzle and its prima facie paradoxical aspects. On the one hand, there are texts in which Nietzsche expresses a longing for intimacy and other texts where he furnishes details about the possibility of intimacy between equals. On the other hand, Nietzsche is severely critical of certain types of intimacy and advocates for a pathos (...) of distance in human relationships. I claim that Nietzschean intimacy is not an inherently paradoxical concept. A proper understanding of Nietzsche’s anti-humanism provides the resources to resolve the paradox and to use the solution of the puzzle to illuminate Nietzsche’s insights about human psychology. (shrink)

The Sure-Thing Principle famously appears in Savage’s axiomatization of Subjective Expected Utility. Yet Savage introduces it only as an informal, overarching dominance condition motivating his separability postulate P2 and his state-independence postulate P3. Once these axioms are introduced, by and large, he does not discuss the principle any more. In this note, we pick up the analysis of the Sure-Thing Principle where Savage left it. In particular, we show that each of P2 and P3 is equivalent to a dominance condition; (...) that they strengthen in different directions a common, basic dominance axiom; and that they can be explicitly combined in a unified dominance condition that is a candidate formal statement for the Sure-Thing Principle. Based on elementary proofs, our results shed light on some of the most fundamental properties of rational choice under uncertainty. In particular they imply, as corollaries, potential simplifications for Savage’s and the Anscombe- Aumann axiomatizations of Subjective Expected Utility. Most surprisingly perhaps, they reveal that in Savage’s axiomatization, P3 can be weakened to a natural strengthening of so-called Obvious Dominance. (shrink)

After 1945, when the Philosophical Investigations were largely finished, Wittgenstein spent his final years undertaking an intensive study of the grammar of our psychological concepts and the philosophical misinterpretations we often assign to them. In the article at hand I do not claim to fathom the full range of Wittgenstein’s thoughts on the philosophy of psychology even in the most general way. Rather it is my intention to shed some light on a diagnosis which he made for the psychology of (...) his time. In Section 2 of this paper I would like to provide a brief sketch of what Wittgenstein considered to be the conceptual confusion prevalent in psychology and to suggest why he did not expect the methods of an experimental science to be successful in solving the problems that concern us in psychology. In Section 3 I’ll attempt to analyze how psychological concepts, according to Wittgenstein, might be construed in order to avoid any type of conceptual confusion. (shrink)

When beliefs are quantified as credences, they are related to each other in terms of closeness and accuracy. The “accuracy first” approach in formal epistemology wants to establish a normative account for credences based entirely on the alethic properties of the credence: how close it is to the truth. To pull off this project, there is a need for a scoring rule. There is widespread agreement about some constraints on this scoring rule, but not whether a unique scoring rule stands (...) above the rest. The Brier score equips credences with a structure similar to metric space and induces a “geometry of reason.” It enjoys great popularity in the current debate. I point out many of its weaknesses in this article. An alternative approach is to reject the geometry of reason and accept information theory in its stead. Information theory comes fully equipped with an axiomatic approach which covers probabilism, standard conditioning, and Jeffrey conditioning. It is not based on an underlying topology of a metric space, but uses a non-commutative divergence instead of a symmetric distance measure. I show that information theory, despite initial promise, also fails to accommodate basic epistemic intuitions; and speculate on its remediation. (shrink)

Against Thomas Mormann's argument that differential topology does not support Carnap's conventionalism in geometry we show their compatibility. However, Mormann's emphasis on the entanglement that characterizes topology and its associated metrics is not misplaced. It poses questions about limits of empirical inquiry. For Carnap, to pose a question is to give a statement with the task of deciding its truth. Mormann's point forces us to introduce more clarity to what it means to specify the task that decides between competing hypotheses (...) and in what way such a task may be both in practice and/or in principle impossible to carry out. (shrink)